d:Decision. dec2bool(d)   

latex

Definitions	Decision, dec2bool(d), x:A. B(x), true, false, t  T, Top
Lemmas	top wf, bfalse wf, btrue wf